1. Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Godel

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Godel, Kurt

رده :
QA
9
.
F58

2. Interpreting Godel : critical essays

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Godel, Kurt Friedrich, 6091-8791,، Mathematics -- Philosophy

رده :
QA
9
.
2
.
I586